Wahlpflichtbereich Theoretische Informatik

ModuleLV TypeCPLVDatesExamination
Advanced Automata TheoryFach-/Modulprüfung6505292
Algorithmic Foundations of DatascienceFach-/Modulprüfung6504831
Vorlesung499606Mo 16:30-18:00 AH II (2350|111) (×12)
Di 14:30-16:00 AH I (2350|028) (×10)
Mi 14:00-15:00 AH I (2350|028) (×1)
Fr 10:00-11:55 AH I (2350|028) (×1)
Übung499585Do 16:30-18:00 AH II (2350|111) (×10)
Algorithmische Modelltheorie IFach-/Modulprüfung9508371
Vorlesung508160Mo 12:30-14:00 AH II (2350|111) (×13)
Mi 12:30-14:00 AH I (2350|028) (×11)
Übung508159Do 16:30-18:00 IV (1010|141) (×10)
Dynamical Processes on NetworksFach-/Modulprüfung6502917
Effiziente AlgorithmenFach-/Modulprüfung6501638
Foundations of Functional ProgrammingFach-/Modulprüfung6503629
Übung507758Di 09:30-12:00 AH VI (2356|051) (×1)
Do 10:00-13:00 AH II (2350|111) (×1)
Fr 14:30-16:00 AH IV (2354|030) (×1)
Fr 14:30-16:00 AH V (2356|050) (×10)
Vorlesung507759Mo 16:30-18:00 AH V (2356|050) (×10)
Fr 10:30-12:00 AH V (2356|050) (×10)
Fr 14:30-16:00 AH V (2356|050) (×1)
Foundations of Logic ProgrammingFach-/Modulprüfung6504847
Introduction to Quantum ComputingFach-/Modulprüfung6521255
Vorlesung520908Mo 12:30-14:00 AH III (2350|314.1) (×14)
Fr 14:30-16:00 AH III (2350|314.1) (×9)
Übung520909Do 14:30-16:00 AH III (2350|314.1) (×10)
Machine Learning with Graphs: Foundations and ApplicationsFach-/Modulprüfung6504053
Vorlesung/Übung500132Mo 10:30-12:00 BS I (2131|101) (×14)
Do 10:30-12:00 R 5 (1080|005) (×10)
Fr 10:30-12:00 S02 (1385|202) (×13)
Model CheckingFach-/Modulprüfung6504841
Modellierung und Analyse hybrider SystemeFach-/Modulprüfung6504842
Vorlesung/Übung508421Di 12:30-14:00 AH II (2350|111) (×12)
Fr 10:30-12:00 AH III (2350|314.1) (×12)